COMMENT ⊗   VALID 00009 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\magnification\magstep1%sets a more readable type size.
C00004 00003	% date and time
C00006 00004	% from eklman[ekl,jjw]
C00008 00005	%to get sections headed and numbered
C00010 00006	\def\by{\bigskip\centerline{\bf by John McCarthy, Stanford University}}
C00011 00007	%$$\vcenter{\openup\jot\ialign{$#$\hfil\cr
C00012 00008	\def\sqr#1#2{{\vcenter{\hrule height.#2pt
C00013 00009	%Additions by jmc
C00014 ENDMK
C⊗;
\magnification\magstep1%sets a more readable type size.
\parskip 6pt%sets the extra space between paragraphs at 6pt.
\hsize 6true in%sets width = to 6"
\vsize 8.5true in%sets height = 8.5"
\hoffset .25true in%moves left margin .25" to the left(more centered)

\def\giantskip{\bigskip\bigskip\bigskip}

%sets equation font sizes
\scriptfont\itfam=\sevenrm \scriptscriptfont\itfam=\fiverm

%convinces tex to allow spaces in equations to appear as spaces
\def\mathspace{\mathinner{\mkern-\thinmuskip}}
{\obeyspaces\gdef\rtcmath{\it\obeyspaces\let =\mathspace}}

\everymath={\rtcmath}
\everydisplay={\rtcmath}

{\obeyspaces\gdef {\ }}


\raggedbottom
\def\fourquad{\qquad\qquad}
\def\hcr{\hidewidth\cr}
% date and time

\newcount\hours
\newcount\minutes
\newcount\temp
\newtoks\ampm

% set the real time of day

\def\setdaytime{%
   \temp\time 
   \divide\temp 60
   \hours\temp 
   \multiply\temp -60
   \minutes\time 
   \advance\minutes \temp 
   \ifnum\hours =12 \ampm={p.m.} \else
   \ifnum\hours >12 \advance\hours -12 \ampm={p.m.} \else \ampm={a.m.} \fi \fi
}
%sets date
\setdaytime

\def\theMonth{\relax
  \ifcase\month\or
    January\or February\or March\or April\or May\or June\or
    July\or August\or September\or October\or November\or December\fi}

\def\theTime{\the\hours:\ifnum \minutes < 10 0\fi \the\minutes\ \the\ampm}

\def\cltdate{\rm \theMonth\space\number\day\space\number\year}
\def\jmcdate{\rm \number\year\space\theMonth\space\number\day}

\def\today{\cltdate}

% from eklman[ekl,jjw]
\font\ek = amtex10 at 10truept		% typewriter type (TeX character set)
\def\uncatcode{\catcode`\{=12	% undoes most of TeX's character codes
	\catcode`\}=12
	\catcode`\$=12
        \catcode`\_=12
	\catcode`\&=12
	\catcode`\%=12
	\catcode`\#=12
	\catcode`\↑=12
	\catcode`\↓=12
	\catcode`\ =12}

%\def\\{\begingroup \let\\=\endgroup \uncatcode}

% The following macros set things up so that we can write lines of terminal
% interaction in the form
%
%	\beginekl
%	  ...
%	\endekl
%

{\catcode`\↑↑M=13\global\let ↑↑M=\break}	% This must be on one line!
\def\beginekl{\par\begingroup
	\uncatcode
	\parindent 0pt
	\rightskip 0pt plus 1fil
	\interlinepenalty 50
	\baselineskip 11pt
	\parskip 11pt plus 4pt minus 4pt
	\catcode`\↑↑M=13
	\ek\eat}
\def\eat#1{}				% to eat the first <cr>
\def\endekl{\par\vskip-\baselineskip	% cancel the last empty line
	\vskip\the\parskip		% put in space
	\endgroup\vskip-\parskip\noindent}	% cancel the next space to go in

\catcode`"=13 \def"#1"{\hbox{\ek\frenchspacing#1}}

%{\catcode`\"=\active
% \obeylines \gdef"{\ttverbatim \spaceskip\ttglue \let↑↑M=\  \let"=\endgroup}}

\def\turnonquotes{\catcode`\"=\active}
\def\turnoffquotes{\catcode`\"=\other}
\turnonquotes
%to get sections headed and numbered
\newcount\scount
\newcount\ecount
\newcount\itemcount
\newcount\subcount
\newcount\notecount
\newcount\partcount
\newcount\outlcount
\newcount\supcount
\newcount\parcount

\def\section#1{\bigbreak\global\advance\scount 1
\leftline{\rm \the\scount. \quad \bf #1}
\smallskip}

\def\itnum{\global\advance\itemcount 1\item{\rm \the\itemcount.}}

\def\numit{\global\advance\partcount 1\indent{\rm \the\partcount ) }}

%to get equations numbered
\def\leql#1{
\global\advance\ecount 1
\expandafter\xdef\csname eqlab#1\endcsname{\number\ecount}
\leqno(\rm\the\ecount)}

\def\eqref#1{\csname eqlab#1\endcsname}

\def\notetag{\global\advance\notecount 1\subcount=0{\rm \the\notecount.\quad}}
\def\subpart{\global\advance\subcount 1{\the\notecount .\the\subcount\quad}}

\def\suptag{\global\advance\supcount 1\outlcount=0{\rm \the\supcount.\quad}}
\def\partag#1{\bigskip\global\advance\parcount 1\outlcount=0\leftline
{\bf \the\parcount.\quad #1}}
\def\outlpart{\global\advance\outlcount 1{\the\parcount .\the\outlcount\quad}}

\def\notemark{\global\advance\notecount 1{${}↑{\the\notecount} $}}
\def\by{\bigskip\centerline{\bf by John McCarthy, Stanford University}}
\def\title#1{\halign{\centerline{\bf ##}\cr#1\crcr}\by}

\def\frameit#1#2#3{\vbox{\hrule
\hbox{\vrule\kern #2 
  \vbox{\kern #1 #3 \kern #1}
  \kern #2\vrule}\hrule}}

\def\whentexed#1{\noindent This version of 
{#1}\space\TeX ed
 on \jmcdate\space at \theTime.}
\overfullrule =0pt
%$$\vcenter{\openup\jot\ialign{$#$\hfil\cr
%\mskip-\thickmuskip (∀x y.¬(aspect1 x = aspect2 y))\cr
%  ∧ (∀x y.¬(aspect1 x = aspect3 y))\cr
%  ∧ (∀x y.¬(aspect2 x = aspect3 y))\cr
%  ∧ (∀x y.aspect1 x = aspect1 y ≡ x =y)\cr
%  ∧ (∀x y.aspect2 x = aspect2 y ≡ x =y)\cr
%  ∧ (∀x y.aspect3 x = aspect3 y ≡ x =y).\cr
%}}$$
%$$\vcenter{\openup\jot\ialign{$#$\hfil\cr\mskip-\thickmuskip
%∀P1 P2 x u.(denotes(P1,x)∧denotes(P2,x)∧denotes(Telephone P1,u) ⊃\cr
%denotes(Telephone P2,u)).\cr
%}}\leql{exxxxi}$$
\def\sqr#1#2{{\vcenter{\hrule height.#2pt
	\hbox{\vrule width.#2pt height#1pt \kern#1pt
	    \vrule width.#2pt}
	\hrule height.#2pt}}}
\def\square{\mathchoice\sqr54\sqr54\sqr{2.1}3\sqr{1.5}3}

\def\leftdisplay#1$${\leftline{\indent$\displaystyle{#1}$}$$}

\def\sqe#1#2{{\vcenter{\hrule height.#2pt
	\hbox{\vrule width.#2pt height#1pt \kern#1pt}
	\hrule height.#2pt}}}
\def\sqsubset{\mathchoice\sqe34\sqe34\sqe{2.1}3\sqe{1.5}3}
%Additions by jmc

\mathsurround=2pt
%Should get a little more space around formulas embedded in text.